SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)
by Malay Ganai,Aarti Gupta
ISBN 13: 9781441943415
Format: Paperback (360 pages) Publisher: Springer Published: 19 Nov 2010
Save for later